Compositional Development of Parallel Programs
نویسندگان
چکیده
This paper presents a programming model, a language (P-COM) and a compiler that composes parallel and distributed programs from independently written components. P-COM is an interface definition language which incorporates information on behaviors and implementations of components to enable qualification of components for effectiveness in specific application instances and execution environments. The programming model targets development of families of related programs. One objective is to be able to compose programs which are near-optimal for given application instances and execution environments. Component-oriented development is motivated for parallel and distributed computations. The programming model is defined and described and illustrated with a simple example. The compilation process is briefly defined and described. Experience with one more complex application, a generalized fast multipole solver is sketched including performance data, some of which was surprising.
منابع مشابه
Compositional C++: Compositional Parallel Programming
A compositional parallel program is a program constructed by composing component programs in parallel where the composed pro gram inherits properties of its components In this paper we describe a small extension of C called Compositional C or CC which is an object oriented notation that supports compositional parallel programming CC integrates di erent paradigms of parallel pro gramming data pa...
متن کاملStrand and Pcn: Two Generations of Compositional Programming Languages Strand and Pcn: Two Generations of Compositional Programming Languages
Two parallel languages and their associated programming systems are reviewed and evaluated. Both Strand and PCN are designed to facilitate parallel program development by providing an expressive high-level notation; by integrating tools for debugging, performance analysis, etc.; and by providing portability across diier-ent parallel computers. Both provide explicit parallel constructs and use s...
متن کاملA Distributed Object Based Framework for Parallel Computations
The computational and compositional features are very important while constructing parallel software for the workstation clusters. However, lack of suitable supporting environment for parallel software development makes most existing distributed parallel software systems very weak in these two aspects, especially in the compositional feature. In this paper, a distributed object based framework ...
متن کاملA Petri Net Semantics for B ( PN ) 2 with Procedures which Allows
Veriication of parallel programs is a very important goal on the way to improve the reliability of software. The PEP tool, a Programming Environment based on Petri nets, allows veriication of parallel programs by partial order model checking based on a compositional denotational Petri net semantics. The language supported by the PEP tool covers block structuring, parallel and sequential composi...
متن کاملCAP : a methodology for the hierarchical specification of pipelined parallel applications
Programming parallel sharedand distributed-memory architectures remains a difficult task. This contribution proposes a methodology for the hierarchical specification of pipelined parallel applications running on sharedas well as distributed-memory architecture. The methodology targets coarse to medium grain parallelism. The CAP methodology (Computer-Aided Parallelization) assumes that parallel ...
متن کامل